1. An electronic companion to calculus
پدیدآورنده : Devlin, Keith
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Calculus-- Software
رده :
QA
303
.
D49
1997
2. An electronic companion to calculus ]computer file[
پدیدآورنده : Devlin, Keith J.
کتابخانه: كتابخانه مركز اسناد و مركز دائرة المعارف بزرگ اسلامى (تهران)
موضوع : Software ، Calculus
رده :
QA303
.
D4
1997
3. An introduction to functional programming through Lambda calculus /
پدیدآورنده : Greg Michaelson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Functional programming (Computer science),Lambda calculus.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Functional programming (Computer science),Lambda calculus.,MATHEMATICS-- General.
رده :
QA76
.
6
.
M4854
2011eb
4. Geometry of knowledge for intelligent systems
پدیدآورنده : Resconi, Germano
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Calculus of tensors,، Logic, Symbolic and mathematical,Mathematics ، Intelligent agents )Computer software(
رده :
QA
433
.
R47G4